从DTD到关系数据库的映射

本文针对为了XML数据利用传统关系数据库优点，把啪映射到关系数据库。提出先映射到对象模式，然后映射到关系数据库模式的一种编程方法。     

XML Schema Modeling through UML Class Diagram

A three-step XML Schema modeling method is presented, namely first establishing a diagram of conceptual modeling, then transforming it to UML class diagram and finally mapping it to XML Schema. A case study of handling furniture design data is given to illustrate the detail of conversion process.     

基于J2EE和数据仓库技术的金融决策系统解决方案

本文介绍了一个基于J2EE框架和仓库技术的决策支持系统的解决方案。在后台数据库设计上,使用经典的星型模型建立多维数据集;在应用系统的设计上,采用了基于Struts的应用程序体系结构,利用MVC设计模式开发Web应用,使系统具备了灵活性、可重用性、可扩展性。     

一种在Internet环境下提交与发布Z规格说明的方法

用形式方法开发软件可提高软件系统的正确性和可靠性，并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用，一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法，使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明，进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式，又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布。     

用Xerces-J进行基于XML Schema的XML局部验证

XML验证，特别是局部验证，是XML应用中的一个关键问题．调研分析了Xerces—J2工具包中的基于XML Schema的XML解析、验证体系，它是一种延迟的整体验证．利用Xerces—J2，设计实现了基于XML Schema的XML局部验证接口，包括类型检查和ID约束检查等．     

高性能双模前置分频器设计

提出了一种新颖的分频器设计方案,在高频段采用改进的CMOS源耦合逻辑(SCL)结构的主从D触发器进行分频,以满足高速要求;在低频段采用自锁存的D触发器进行分频.这种结构的D触发器不但具有锁存功能,而且所需的管子比主从式D触发器要少,以满足低功耗和低噪声要求.从而使总体电路实现高速、低功耗、低噪声要求.基于TSMC的0.18 μmCMOS工艺,利用Cadence Spectre工具进行仿真.该分频器最高工作频率可达到5 GHz,在27 ℃、电源电压为1.8 V、工作频率为5 GHz时,电路的功耗仅4.32 mW.     

XML Schema视图的研究与实现

XML技术的应用范围越来越广泛,XML文档中可能包含敏感程度不同的信息,需要进行访问控制。视图是一种常用、有效的细粒度访问控制手段。而基于角色访问控制是一种灵活、高效的访问控制策略。以基于角色访问控制为例,给出了基于Schema的授权策略文档设计,并讨论了XML Schema视图的生成算法和基于XML Schema视图实现访问控制的体系结构。     

工作流审计信息的XML模式表达及分析

通过分析工作流审计信息包含的内容,对工作流事件进行编码,基于XML Schema给出了工作流系统审计信息的通用表达,并讨论了审计信息的分析过程。该工作为异构工作流系统之间实现审计信息的交换、访问和分析建立了基础。     

XML相关语言解析

本文主要介绍xML相关语言,包括定义语言DTD和XML Schema、样式表语言XSL、样式表转换语言XSLT、文档格式化对象XML-FO、路径语言XPath链接语言XLink、指针语言XPointer、查询语言XQuery和可扩展的超文本标记语言XHTML的技术内涵,论述这些语言的实现模式、功能、以及相互之间的联系,同时还介绍这些语言的标准化状况.     

一种基于操作集计算生成有效XML文档的方法

目前XML工具的编辑能力不足以保证生成有效的XML文档,缺乏对文档模式的合理利用。而由XMLSchema定义的文档模式,不仅提供了有效性验证标准,同时蕴含了生成有效XML文档的准则。本文提出了一种生成有效XML文档的方法。该方法基于XML文档模式图定义不同节点的操作集合,以及该操作集合上的计算和相应操作语义,并分析论证了该方法本身的有效性。